--- This is an undocumented module
module tests.hcm.Bool where

--- can be used qualified or unqualified
--- in patterns as well as expressions
nicht True = Prelude.HaskellBool.False
nicht HaskellBool.False = True

alle = [False ..]

{-- 
    interestingly, we have now a function that
    can detect whether we run under Frege
-} 
isThisFrege = show True == "true"

import frege.prelude.PreludeBase (True Wahr, False Falsch)

youCanTrickMe = Wahr == Falsch      -- no, you can't